c formula generated with seed 4, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.410000
c the planted solution is {1, 2, 3, 4, 5, 7, 12, 13, 14, 15, 18, 19, 21, 22, 24, 25, 27, 29, 32, 35, 40, 41, 42, 43, 45, 47, 49, 50, 52, 57, 59, 60, 61, 62, 63, 64, 65, 66, 68, 72, 73, 75, 77, 78, 80, 81, 82, 85, 87, 89, 90, 92, 94, 95, 96, 97, 99, 100, 101, 103, 106, 107, 109, 110, 115, 118, 121, 122, 125, 129, 132, 133, 134, 135, 141, 143, 145, 146, 150, 154, 158, 159, 163, 165, 168, 169, 170, 171, 172, 174, 175, 177, 180, 181, 183, 184, 185, 186, 189, 190, 195, 197, 198, 199, 200, 201, 203, 204, 206, 208, 212, 213, 214, 215, 216, 219, 221, 222, 223, 224, 225, 227, 231, 232, 235, 239, 240, 241, 243, 245, 247, 249, 251, 252, 256, 259, 260, 263, 264, 265, 266, 267, 269, 270, 271, 272, 273, 276, 278, 279, 280, 282, 283, 285, 286, 292, 294, 295, 297, 305, 307, 310, 314, 315, 316, 317, 318, 319, 320, 322, 323, 324, 332, 333, 334, 335, 336, 337, 339, 341, 345, 348, 350, 354, 356, 358, 359, 362, 363, 364, 365, 366, 367, 369, 370, 372, 374, 377, 378, 380, 381, 383, 386, 389, 392, 394, 396, 398, 399, 404, 406, 408, 409, 412, 413, 414, 419, 420, 421, 422, 424, 426, 428, 429, 430, 431, 432, 433, 434, 436, 437, 441, 444, 446, 447, 451, 452, 456, 458, 460, 461, 462, 463, 464, 466, 467, 469, 471, 472, 475, 477, 479, 481, 484, 487, 490, 492, 498, 499, 501, 502, 503, 504, 505, 510, 513, 514, 516, 517, 519, 523, 525, 528, 529, 533, 534, 535, 536, 537, 539, 540, 543, 544, 550, 551, 554, 555, 558, 559, 565, 566, 569, 571, 574, 575, 576, 577, 578, 580, 581, 582, 583, 585, 586, 591, 592, 596, 600}
p cnf 600 2646
34 -525 -71 0
218 -294 -136 0
-4 521 -407 0
-559 497 -173 0
-507 235 125 0
-590 -189 453 0
551 -523 379 0
382 -586 -556 0
296 -437 2 0
-560 97 -489 0
337 269 -56 0
-321 467 235 0
-200 68 -216 0
332 -159 -389 0
-571 53 -140 0
-172 380 149 0
329 364 128 0
-342 -108 -382 0
461 -353 171 0
-212 556 431 0
-523 29 486 0
421 -156 -338 0
385 -39 37 0
152 442 18 0
313 -228 -96 0
132 -398 54 0
-228 339 -211 0
-267 306 596 0
33 -404 -39 0
-320 -130 526 0
462 -368 -384 0
-131 -255 452 0
-591 -369 -427 0
-544 358 312 0
-424 387 -455 0
-324 496 -210 0
-446 214 342 0
240 -320 -505 0
9 412 -383 0
-400 167 -135 0
-298 401 402 0
-445 -306 336 0
-63 449 201 0
292 78 -417 0
73 509 -43 0
176 486 -194 0
-215 226 481 0
-322 -140 -212 0
321 -495 376 0
436 553 296 0
-223 -538 -61 0
500 -419 404 0
-143 367 93 0
-528 -161 526 0
-493 361 333 0
394 -37 -393 0
-500 206 199 0
462 -317 442 0
136 381 355 0
378 594 -432 0
227 -174 -61 0
-64 -10 -201 0
61 561 -49 0
404 -389 -475 0
-131 172 447 0
315 -244 -329 0
-518 189 460 0
-31 -565 -550 0
-205 -29 -504 0
64 334 106 0
224 536 499 0
343 -317 467 0
-421 -314 -442 0
-71 246 -490 0
138 -91 -581 0
-598 222 -147 0
91 158 -219 0
498 347 598 0
132 -156 -405 0
408 -484 270 0
269 -448 57 0
-232 356 -580 0
-395 240 223 0
-54 377 -38 0
101 -22 237 0
-338 466 -390 0
-129 192 -546 0
71 268 -588 0
214 320 571 0
-54 -570 -38 0
321 -504 -343 0
278 -488 181 0
-314 483 -368 0
6 -134 514 0
-485 377 153 0
124 -529 3 0
-560 62 490 0
-286 496 27 0
-119 419 543 0
456 367 -522 0
308 -330 530 0
7 -72 -180 0
394 95 180 0
-319 562 60 0
538 90 -378 0
517 12 -81 0
-572 226 253 0
-521 -174 360 0
451 82 374 0
490 -318 120 0
-7 123 -545 0
340 -570 -307 0
-13 184 228 0
-538 -576 -310 0
-238 299 38 0
152 151 354 0
211 -87 183 0
-515 -261 577 0
472 133 -494 0
-551 144 206 0
-257 551 -37 0
-453 -27 31 0
-472 84 369 0
-73 536 116 0
-550 2 448 0
235 427 -461 0
-178 -507 159 0
-290 513 -349 0
-146 -207 -195 0
266 543 317 0
65 -275 291 0
351 218 477 0
-472 367 -3 0
98 -349 -533 0
-21 71 -309 0
457 -297 317 0
536 -37 -393 0
-391 -230 -93 0
107 -134 445 0
568 -472 -468 0
533 93 313 0
67 -202 -212 0
-400 88 -576 0
-366 364 192 0
245 -7 39 0
-554 371 322 0
11 -233 -421 0
-113 -34 -376 0
446 381 -385 0
303 -333 380 0
142 -71 -259 0
435 -110 90 0
109 250 38 0
75 204 -467 0
-312 -388 -507 0
-596 -493 -458 0
-196 425 138 0
-534 353 -520 0
-560 -223 -110 0
464 406 544 0
317 479 204 0
347 -95 279 0
311 259 -14 0
-326 494 -31 0
213 -17 -564 0
-566 -406 356 0
366 -554 191 0
-269 -6 415 0
249 -565 -201 0
257 -441 577 0
-10 483 518 0
539 -233 461 0
584 -193 182 0
-429 -125 -410 0
-177 127 -526 0
210 64 242 0
561 -229 -596 0
-311 133 240 0
235 -454 240 0
460 -116 -91 0
-257 421 52 0
-347 595 527 0
-229 278 559 0
-415 -314 -20 0
-159 179 434 0
-226 -168 304 0
443 -236 -82 0
-244 216 43 0
-265 429 556 0
524 -196 331 0
47 -162 -500 0
102 -190 318 0
-148 -249 39 0
225 -430 -76 0
282 -594 -584 0
33 -529 231 0
-416 50 -568 0
296 -70 393 0
-88 -497 -384 0
41 -400 -313 0
142 -571 -126 0
-4 -186 503 0
162 222 -150 0
177 -539 476 0
449 -508 538 0
-52 -41 -491 0
537 -86 245 0
250 -70 418 0
-378 -385 230 0
580 286 -255 0
73 -373 163 0
-433 97 288 0
553 -152 -447 0
-459 -312 182 0
346 481 384 0
334 -190 -429 0
-251 233 -217 0
-314 -118 -91 0
8 590 367 0
509 582 -185 0
343 185 230 0
557 287 565 0
431 286 -108 0
-232 439 -196 0
248 271 597 0
-63 190 373 0
-521 -112 532 0
-488 -406 142 0
-281 487 122 0
-350 302 307 0
-79 9 549 0
-211 271 -589 0
-190 -131 560 0
-192 -108 132 0
-46 -441 86 0
-1 -251 -255 0
56 434 -170 0
73 -545 126 0
278 70 571 0
232 -210 222 0
390 128 380 0
458 -188 472 0
294 531 261 0
108 545 252 0
-507 464 -486 0
542 -123 -280 0
500 -446 201 0
-563 -482 -423 0
-434 384 -236 0
269 546 76 0
44 -312 -271 0
-30 -206 -503 0
-77 -292 555 0
343 127 -254 0
335 470 468 0
186 -141 -297 0
569 -330 -303 0
98 406 147 0
126 -402 465 0
132 -408 77 0
-261 96 -137 0
-59 -61 -167 0
532 523 561 0
156 -332 -296 0
598 506 -308 0
151 121 -572 0
214 -173 197 0
534 320 175 0
-576 -35 -84 0
-241 -441 -38 0
463 343 187 0
246 81 -580 0
423 418 461 0
387 124 -402 0
-114 152 573 0
-109 514 -424 0
-566 -69 598 0
-261 406 77 0
312 573 -288 0
-308 -208 -158 0
365 -424 594 0
-326 -359 -558 0
141 -301 -166 0
-290 -484 -581 0
168 79 274 0
-337 -30 485 0
-238 -502 -143 0
34 -564 -278 0
-516 165 -533 0
317 -38 68 0
-560 251 370 0
97 -271 -317 0
552 480 145 0
561 226 -507 0
432 159 -384 0
-18 278 117 0
-564 -410 -545 0
201 -2 290 0
476 -499 -515 0
-225 -549 88 0
596 566 -353 0
292 -75 46 0
437 -422 552 0
-503 -339 -443 0
57 -183 -64 0
-200 48 -400 0
-189 93 49 0
-105 251 600 0
308 -132 -148 0
291 203 512 0
470 -412 146 0
-189 -161 -198 0
-557 -388 57 0
-410 -129 593 0
-514 -340 211 0
491 160 180 0
46 9 -309 0
428 557 -460 0
12 348 317 0
528 590 151 0
-224 -416 -1 0
222 -88 550 0
569 216 -28 0
-553 253 176 0
120 534 -586 0
-106 511 240 0
475 -324 -307 0
513 374 -407 0
65 -323 568 0
12 -340 591 0
2 283 583 0
-108 -353 -340 0
508 -379 -199 0
276 491 137 0
-98 -374 312 0
494 566 -432 0
147 -532 328 0
-286 146 237 0
-584 486 127 0
-464 459 -230 0
208 31 403 0
-481 -502 -127 0
415 -426 -193 0
484 362 -56 0
15 -74 -274 0
48 11 -416 0
325 -554 -473 0
-590 310 -99 0
-259 108 -88 0
352 -489 -4 0
225 535 -538 0
499 -169 -575 0
-335 550 133 0
560 486 581 0
-552 299 211 0
440 179 -561 0
437 -372 -422 0
-424 162 -553 0
295 -456 -213 0
77 -159 287 0
-502 577 -460 0
-33 -10 85 0
-409 -410 -62 0
490 -539 -320 0
-292 414 -122 0
248 -334 -166 0
-12 200 -386 0
423 -36 -213 0
180 139 -305 0
-46 -72 -24 0
-575 110 -286 0
178 502 -446 0
569 79 -260 0
-563 -568 -296 0
438 -136 -232 0
-56 303 -503 0
244 9 503 0
172 22 398 0
240 -522 -557 0
528 18 -128 0
-534 -14 -368 0
-471 550 -121 0
-443 -215 -529 0
532 251 448 0
178 -310 426 0
-560 -258 -302 0
69 96 -40 0
-316 81 76 0
93 -504 -342 0
-3 -511 -203 0
-559 -23 -3 0
7 -510 -181 0
386 -471 -190 0
239 308 44 0
-40 235 -267 0
-425 408 47 0
-509 -407 324 0
-117 -522 -562 0
-228 -387 271 0
-318 447 589 0
367 -264 -529 0
-277 139 -368 0
14 -165 -487 0
378 -561 57 0
-591 -286 404 0
-443 103 332 0
428 -260 593 0
-293 -393 175 0
-546 504 -26 0
-395 429 121 0
-26 -120 377 0
-433 39 319 0
367 -47 -239 0
-309 304 137 0
-82 -41 -38 0
88 84 -344 0
453 371 -210 0
523 393 -216 0
-541 -589 -387 0
283 -583 138 0
-290 -7 -370 0
-315 122 -504 0
-2 430 -163 0
-505 -544 -191 0
-577 -493 -129 0
283 -416 -91 0
165 333 -119 0
123 -192 -368 0
-255 372 62 0
291 275 263 0
-517 -11 -255 0
207 -532 -267 0
-33 5 245 0
147 153 -573 0
348 -253 -435 0
-570 455 593 0
22 -533 -252 0
393 365 368 0
495 -37 417 0
-560 569 -34 0
-442 -236 426 0
-498 449 -288 0
86 224 -523 0
42 -31 -33 0
34 -371 -152 0
-72 -232 -390 0
378 -169 -419 0
3 463 -474 0
143 -363 196 0
42 329 369 0
-12 -490 356 0
233 38 174 0
25 -556 27 0
-193 143 -508 0
-97 510 -383 0
426 26 -447 0
-567 568 -389 0
333 -303 -500 0
-521 -547 -281 0
543 -524 64 0
-307 -211 -437 0
-70 17 -332 0
125 -287 -38 0
372 306 470 0
-336 -85 -253 0
476 -472 -277 0
489 173 172 0
-70 420 -353 0
477 -184 -452 0
-557 342 134 0
452 237 -180 0
91 415 60 0
-354 -370 456 0
-265 -375 202 0
-577 346 272 0
131 430 11 0
431 -240 301 0
411 544 453 0
-317 284 -233 0
-588 132 183 0
460 -380 -183 0
420 313 -444 0
362 -18 226 0
72 350 534 0
-191 224 363 0
502 535 244 0
36 119 -155 0
-76 -551 46 0
-3 -264 -91 0
124 -19 158 0
132 41 122 0
195 -109 -132 0
433 -549 -131 0
-359 -523 -76 0
505 -89 -381 0
462 252 -384 0
273 111 -265 0
282 271 -522 0
378 -205 433 0
38 82 93 0
-516 -128 -41 0
-544 -196 465 0
-335 -516 -321 0
-159 -544 367 0
-528 337 -551 0
86 343 -306 0
-549 252 214 0
356 -44 -309 0
-396 287 -546 0
48 47 521 0
-448 75 466 0
586 -236 141 0
-42 326 14 0
439 -211 -89 0
313 74 462 0
363 -392 152 0
-202 -156 212 0
-77 -59 481 0
-321 -337 187 0
-554 -412 -116 0
-13 -298 -356 0
21 168 -327 0
-557 83 -334 0
-36 -68 180 0
-467 -195 -395 0
28 26 467 0
207 264 -349 0
594 59 164 0
-440 352 -223 0
-546 -131 421 0
420 159 203 0
-35 -549 253 0
14 259 -117 0
-40 -340 136 0
18 5 499 0
171 -211 -435 0
-235 -277 -13 0
-555 -15 -342 0
-119 267 249 0
579 127 -553 0
143 252 -405 0
-368 267 216 0
-263 315 -514 0
-6 -244 -304 0
-383 -459 -365 0
-199 -468 -178 0
-186 -460 223 0
-178 -517 353 0
321 556 534 0
394 -72 418 0
-400 193 -12 0
17 -213 295 0
-308 582 245 0
423 333 253 0
-468 -120 332 0
43 -220 190 0
-364 -81 314 0
135 -522 -501 0
-306 115 141 0
-414 -576 213 0
-414 -535 324 0
-311 -89 -571 0
541 91 -395 0
190 90 -379 0
29 -205 -274 0
451 -45 325 0
99 113 -13 0
525 401 -566 0
-38 310 -385 0
63 -5 -186 0
549 -40 -342 0
141 214 -450 0
373 403 189 0
54 -440 108 0
-349 -590 586 0
51 -193 38 0
193 -599 178 0
406 -292 450 0
-233 -161 183 0
-500 -300 282 0
-207 595 -431 0
288 495 -128 0
-389 71 181 0
-381 69 12 0
-58 -583 -585 0
565 -50 506 0
-18 -164 -170 0
71 -259 -313 0
-248 -514 91 0
-536 130 516 0
-250 -533 274 0
367 -229 -10 0
-140 433 -148 0
-484 338 239 0
177 416 -295 0
148 -327 -266 0
539 88 -406 0
-484 -369 460 0
32 -480 25 0
-569 -173 -324 0
-261 -305 -438 0
-247 120 -595 0
254 -262 -285 0
546 -588 281 0
-520 -344 14 0
98 285 -486 0
392 -225 108 0
-528 -150 -290 0
-448 -59 -502 0
-157 525 577 0
359 -237 -8 0
-95 391 225 0
369 -306 -112 0
97 -497 -176 0
-258 -468 -560 0
-383 523 -398 0
-273 374 418 0
188 -52 295 0
207 557 380 0
181 -30 -509 0
254 211 356 0
-292 347 550 0
-390 -598 -560 0
-134 -72 -509 0
595 261 -262 0
501 -44 129 0
344 -510 408 0
3 -266 255 0
154 135 -511 0
-45 99 -510 0
-429 489 -493 0
115 442 164 0
-332 326 481 0
167 409 20 0
83 -445 -392 0
-598 231 223 0
464 -113 92 0
349 516 371 0
11 -409 -417 0
365 517 320 0
466 151 -494 0
-530 -167 171 0
-57 408 -575 0
187 76 -70 0
-330 -267 -569 0
-402 -111 -156 0
-587 -401 214 0
-169 -417 -7 0
31 -188 123 0
-43 -176 -592 0
-192 287 493 0
-522 -45 205 0
-412 342 504 0
441 417 -420 0
-56 -61 -426 0
229 158 155 0
-492 28 318 0
538 -147 546 0
260 -37 225 0
-232 97 139 0
-345 -532 -317 0
-261 -414 53 0
239 -378 102 0
342 168 480 0
589 -19 367 0
501 -454 243 0
180 107 271 0
-154 496 94 0
528 23 527 0
435 -150 -521 0
267 431 -156 0
-213 48 -179 0
26 586 427 0
-148 -445 210 0
360 -532 -492 0
-147 299 -364 0
-471 -509 -554 0
238 539 -107 0
-581 -130 196 0
445 452 486 0
403 511 169 0
-400 228 -305 0
469 -18 -25 0
336 467 295 0
526 -223 426 0
154 386 437 0
329 -218 415 0
245 -280 -505 0
585 400 -354 0
-559 -597 33 0
116 453 -397 0
188 -337 -237 0
134 419 378 0
549 126 -26 0
-560 485 -367 0
47 -74 -10 0
595 -79 44 0
-386 -51 311 0
-281 272 305 0
-217 -18 443 0
-425 -289 283 0
-401 -219 -345 0
488 -361 -420 0
-177 476 -48 0
-231 -553 385 0
21 -294 -430 0
39 166 118 0
-122 25 -239 0
529 270 -1 0
-515 -511 -130 0
380 -476 460 0
-164 21 -149 0
-268 579 -68 0
-72 -600 41 0
116 300 -417 0
386 200 399 0
149 592 -389 0
-417 -568 -98 0
-7 -299 -365 0
430 -514 351 0
-465 176 157 0
-354 35 -77 0
346 -282 -595 0
67 380 179 0
238 -240 4 0
74 152 201 0
506 -515 382 0
-86 427 545 0
341 598 -107 0
-587 546 -212 0
337 542 -267 0
20 -277 -305 0
-24 163 -13 0
-468 166 -240 0
-578 487 194 0
-204 431 308 0
-93 195 -518 0
510 245 -178 0
325 -333 -173 0
412 -457 487 0
-457 73 40 0
-356 592 330 0
-165 178 -88 0
74 -247 412 0
246 -45 -142 0
-488 -19 209 0
-33 345 505 0
-217 -141 306 0
544 -195 -316 0
-271 39 492 0
275 -264 -491 0
-24 -125 534 0
-102 -367 6 0
-487 -586 -131 0
-146 554 -317 0
600 -572 -511 0
-133 208 -358 0
226 330 571 0
-369 -401 -322 0
-426 38 -468 0
-395 546 55 0
49 -81 -437 0
-155 -331 -74 0
13 -461 -265 0
-117 535 222 0
39 535 -125 0
-150 -265 271 0
415 558 -332 0
381 377 133 0
-9 -537 492 0
-122 -103 132 0
-457 -233 366 0
152 118 -339 0
44 -536 -112 0
-119 447 578 0
-384 403 284 0
-23 -182 -258 0
-71 -301 181 0
35 523 -329 0
-594 451 -338 0
-224 589 -70 0
70 414 -195 0
514 -105 -302 0
-32 -386 -164 0
20 255 -325 0
197 -354 113 0
468 579 -532 0
466 581 -111 0
525 -12 258 0
137 539 313 0
-584 -313 -38 0
-87 193 -500 0
81 558 -556 0
80 -467 148 0
-516 -466 -230 0
380 -576 211 0
404 174 221 0
-15 -492 185 0
-8 11 -350 0
-145 -5 -153 0
406 153 -364 0
377 5 536 0
495 -117 -335 0
-588 506 518 0
-130 -481 -263 0
-117 -147 -202 0
370 -152 -546 0
-391 481 177 0
142 -356 433 0
-555 -487 406 0
472 502 -381 0
583 -395 339 0
-184 77 -276 0
416 174 -471 0
-429 62 -14 0
-308 171 150 0
-313 -200 91 0
62 508 -174 0
252 -437 462 0
-370 -237 -263 0
301 -66 -587 0
-470 -237 -468 0
-408 582 -577 0
-14 -262 474 0
227 365 374 0
488 557 596 0
-393 535 575 0
-297 473 543 0
-376 -591 -225 0
-596 -506 495 0
196 396 -469 0
-396 329 -423 0
-224 570 -309 0
88 -476 532 0
502 -398 9 0
41 -159 -231 0
-183 292 453 0
211 383 -164 0
-29 -415 -271 0
103 -534 -170 0
-229 -73 -90 0
-488 -405 225 0
96 102 -141 0
179 -54 130 0
-405 -452 -383 0
-402 -50 312 0
-479 -239 -495 0
-497 -426 -458 0
-493 371 -585 0
-462 570 -352 0
-584 5 -453 0
-379 -70 75 0
-480 -134 290 0
-405 -296 -440 0
-113 -100 -77 0
158 543 -242 0
309 225 127 0
206 -60 246 0
136 79 -128 0
351 -86 -525 0
455 -131 568 0
-253 526 169 0
-569 -529 539 0
-490 505 443 0
92 -264 55 0
549 90 -419 0
315 124 321 0
412 313 -305 0
-88 -588 -136 0
465 320 -78 0
136 -297 175 0
-242 -274 414 0
-35 73 -125 0
-304 569 536 0
502 569 -440 0
-150 -362 -16 0
35 -483 580 0
237 -437 -191 0
-467 -37 67 0
8 48 94 0
-488 191 532 0
453 -332 132 0
277 238 -308 0
-330 -581 352 0
318 -324 112 0
473 -410 -251 0
-526 321 342 0
-52 -4 544 0
-258 255 217 0
-507 136 -235 0
-91 -316 -215 0
262 389 -541 0
-557 -318 -583 0
113 -587 -106 0
208 211 306 0
402 120 82 0
99 -268 596 0
296 -17 -571 0
-49 346 121 0
81 246 561 0
-595 211 -21 0
171 -391 -28 0
-274 -279 -77 0
-65 -550 534 0
-22 -569 -157 0
-25 -568 564 0
85 114 346 0
-299 372 464 0
564 192 -328 0
-545 -453 -98 0
-440 5 -217 0
-265 473 -84 0
-425 580 -182 0
494 -184 -70 0
373 187 -105 0
-470 294 -17 0
562 -328 -158 0
-211 301 91 0
-424 -284 -362 0
517 -61 -204 0
51 383 557 0
471 449 -404 0
-503 -531 445 0
-58 -65 220 0
-80 -50 409 0
279 -140 32 0
-395 249 292 0
149 355 -338 0
-185 501 116 0
-256 -268 -533 0
297 59 -400 0
-135 -384 304 0
544 542 520 0
3 508 497 0
-372 -82 399 0
-503 -519 154 0
592 175 414 0
-215 -21 -293 0
340 -238 -511 0
-313 -543 385 0
-403 -65 597 0
387 7 -372 0
220 -437 -217 0
-105 -3 114 0
-312 296 511 0
-262 347 593 0
214 -212 176 0
410 213 194 0
-585 286 -35 0
160 10 -518 0
351 -221 -486 0
351 -562 155 0
350 310 -400 0
-357 70 -101 0
-311 513 181 0
172 -392 -600 0
-19 -599 -2 0
-11 356 -205 0
480 596 39 0
288 -27 -46 0
-451 -58 -414 0
-408 147 -117 0
-246 -128 208 0
-329 -79 -572 0
-42 -454 -65 0
499 -72 -473 0
-162 309 -323 0
-454 -111 -218 0
89 -252 139 0
-100 -435 -297 0
428 285 135 0
201 -165 336 0
-521 -281 243 0
223 -48 404 0
-312 -581 -180 0
-552 419 212 0
-230 75 503 0
-439 343 -13 0
-460 -181 -347 0
-559 -522 397 0
193 -143 -330 0
-38 413 -547 0
292 -51 464 0
-401 92 411 0
394 24 -74 0
367 -78 92 0
229 -106 -549 0
35 279 -344 0
-410 -216 51 0
-380 -77 469 0
-104 11 -533 0
-217 -293 -151 0
111 182 -488 0
-449 -561 -296 0
-93 276 200 0
263 193 10 0
-352 -219 -264 0
-383 130 -379 0
-72 -363 47 0
9 99 313 0
456 392 121 0
-131 374 -527 0
283 76 -383 0
558 -343 441 0
-13 -565 544 0
487 -544 -78 0
-487 10 -157 0
406 295 -111 0
-295 86 -346 0
14 167 282 0
28 -162 -52 0
-386 172 385 0
-299 -128 181 0
63 -372 102 0
-293 223 582 0
-500 -356 -558 0
89 551 252 0
-215 -315 339 0
462 205 33 0
151 -333 189 0
530 -469 -9 0
-14 -208 -473 0
-452 349 272 0
319 -296 186 0
-80 571 -5 0
-100 566 187 0
212 341 122 0
-139 520 -270 0
-205 -202 143 0
-433 139 444 0
138 434 500 0
13 -508 57 0
539 328 -184 0
413 -276 194 0
526 -331 500 0
-323 -549 511 0
18 -454 -230 0
158 82 -275 0
549 288 578 0
203 -26 -495 0
-476 -351 -244 0
90 -450 -166 0
506 444 468 0
494 -44 -422 0
220 282 -454 0
-119 56 595 0
-568 533 -86 0
221 432 -598 0
284 -172 -495 0
-403 131 234 0
-206 126 335 0
400 -38 -575 0
-505 -377 -476 0
576 -394 -362 0
465 526 -309 0
419 172 -435 0
-162 159 -351 0
-93 131 -487 0
435 -203 -111 0
-92 429 34 0
-175 484 255 0
-18 108 -493 0
317 204 -329 0
485 -321 -32 0
-212 -416 306 0
-572 -432 155 0
-363 -432 259 0
-499 511 -338 0
-157 33 -513 0
-350 489 472 0
-494 73 -54 0
93 -251 -549 0
-573 -380 509 0
-153 440 511 0
28 175 -232 0
196 58 267 0
71 60 -72 0
561 -185 -375 0
51 216 277 0
-266 -495 254 0
-65 360 135 0
486 480 534 0
-492 365 338 0
3 292 -88 0
28 -326 33 0
119 535 -295 0
-60 -264 -301 0
535 -108 600 0
-170 477 -574 0
180 590 -63 0
-154 -585 543 0
-486 -348 -372 0
-267 154 481 0
506 586 246 0
269 567 -168 0
-41 338 422 0
-84 -571 485 0
578 550 109 0
-357 -521 428 0
-434 328 314 0
-244 -93 -562 0
449 -580 -277 0
-544 -587 -273 0
258 -300 -399 0
-590 275 -451 0
52 430 265 0
-95 -248 321 0
421 559 -309 0
574 -409 321 0
278 -225 -106 0
41 -493 -309 0
136 -164 -168 0
131 -290 401 0
-516 -590 268 0
-188 -340 208 0
377 63 -179 0
-211 -541 -401 0
-123 -321 -44 0
-506 -556 66 0
-85 -111 126 0
155 -599 -154 0
322 -6 -416 0
-225 456 -279 0
-74 64 62 0
378 -9 -156 0
-415 180 183 0
514 455 242 0
208 -598 -290 0
-165 -264 436 0
-371 -269 549 0
398 -257 150 0
186 -569 -78 0
258 -372 -20 0
93 -402 -150 0
-216 301 -407 0
236 346 -187 0
-503 527 460 0
-148 11 -266 0
-472 -549 -451 0
537 -199 -487 0
-42 -359 -573 0
-494 -236 -435 0
96 488 -421 0
211 297 -320 0
-594 525 554 0
-148 -250 514 0
581 -138 350 0
-119 -393 171 0
-169 -185 -440 0
393 -490 421 0
-431 343 263 0
-339 -554 -524 0
384 188 -340 0
-406 -155 -286 0
-524 -363 74 0
239 -190 485 0
354 83 547 0
224 584 -174 0
-595 -227 508 0
308 376 -148 0
12 427 34 0
478 54 -405 0
94 -220 -508 0
469 -413 -174 0
227 -478 -55 0
445 -338 138 0
1 -188 316 0
377 -97 -133 0
-331 54 384 0
281 -124 -322 0
520 472 151 0
172 -560 481 0
-264 541 271 0
-244 215 68 0
-593 3 -217 0
-207 98 125 0
390 -189 92 0
78 572 -201 0
356 501 370 0
-179 213 540 0
258 -495 598 0
545 -508 -283 0
57 504 -56 0
410 -366 422 0
-332 141 -41 0
146 415 217 0
-376 513 132 0
-432 137 555 0
495 -451 -309 0
208 -409 400 0
202 -198 -130 0
513 -548 -400 0
191 -449 -501 0
-576 -384 205 0
325 -562 178 0
325 -290 442 0
533 -414 474 0
-395 392 -53 0
588 70 212 0
-557 -4 140 0
-471 296 -361 0
16 255 -538 0
241 -470 165 0
429 -218 -148 0
271 -106 160 0
596 -507 406 0
108 173 358 0
-99 -188 144 0
-175 119 171 0
71 108 -357 0
489 38 60 0
275 235 69 0
-236 536 -438 0
-262 -218 41 0
585 -286 196 0
-279 -450 -295 0
-124 -169 344 0
-38 -329 133 0
-218 591 -250 0
-354 -15 -468 0
188 -143 72 0
54 -375 104 0
-155 305 -405 0
132 -445 472 0
-149 -302 -262 0
330 -312 -294 0
-156 431 424 0
-548 572 564 0
-31 -170 -174 0
12 308 -213 0
-89 -458 -526 0
-332 8 295 0
451 -94 153 0
218 -145 -328 0
502 -558 152 0
384 -253 -320 0
-95 -253 410 0
-23 390 139 0
435 -209 -145 0
561 551 440 0
195 158 252 0
423 -94 96 0
530 -532 -270 0
421 -126 -368 0
426 9 -535 0
470 93 431 0
-122 563 -520 0
-11 -264 -175 0
-289 361 511 0
425 522 -352 0
54 -237 -204 0
419 -288 577 0
-411 -187 -69 0
418 -478 -498 0
204 -319 370 0
-566 399 30 0
-510 112 -142 0
-371 451 406 0
-475 567 -594 0
-299 -75 284 0
140 -55 -389 0
222 -8 -327 0
237 330 224 0
-159 -143 585 0
-13 267 -421 0
91 364 -394 0
561 -53 -92 0
558 -110 140 0
139 37 -20 0
75 47 -300 0
-363 136 -506 0
-306 -376 47 0
112 -555 125 0
175 439 -99 0
-595 403 538 0
177 565 77 0
-220 152 338 0
246 -407 -374 0
569 -547 267 0
106 266 -155 0
-213 -68 -289 0
-563 23 -141 0
-266 -21 -230 0
431 -507 -296 0
319 307 -16 0
425 206 -333 0
21 12 543 0
502 -215 -246 0
-581 522 61 0
486 -194 -383 0
528 -181 -18 0
-556 257 597 0
363 -117 -349 0
123 -500 -224 0
-98 -246 -594 0
594 -542 -208 0
244 -285 264 0
-241 549 -91 0
257 -327 149 0
584 519 -193 0
462 -176 -330 0
148 151 -423 0
-133 109 -307 0
288 -366 -46 0
-268 564 407 0
178 545 -194 0
96 -12 -14 0
-518 -471 -154 0
593 -561 211 0
-336 -575 -599 0
-446 544 -3 0
599 -181 -355 0
-234 465 -52 0
144 -548 -452 0
114 -337 451 0
-590 -487 -29 0
-425 483 -45 0
536 321 -413 0
-74 -486 -36 0
-286 573 -343 0
357 -34 -586 0
-355 -310 57 0
-152 -463 -441 0
554 -355 484 0
244 -100 -465 0
462 27 -548 0
597 494 534 0
-186 -565 219 0
-576 -102 538 0
-89 -75 -326 0
196 338 100 0
15 521 596 0
395 349 -194 0
-214 -98 288 0
249 -445 408 0
92 -564 -554 0
197 199 -8 0
291 -400 6 0
-579 555 -301 0
380 -287 198 0
477 -568 -131 0
454 -582 225 0
-68 244 52 0
-556 73 316 0
578 326 202 0
-305 56 -425 0
454 35 -141 0
47 100 441 0
-489 -306 484 0
429 -342 -443 0
401 169 -389 0
-443 444 -228 0
-373 -582 -477 0
-331 470 -501 0
-464 51 -547 0
280 407 -600 0
-143 428 -141 0
423 345 435 0
342 -566 -299 0
-326 163 426 0
-554 116 320 0
414 -290 227 0
-109 -335 -196 0
51 -427 330 0
-533 78 598 0
-41 265 -452 0
397 -589 -369 0
-335 525 532 0
32 -172 531 0
-73 187 -527 0
-228 72 177 0
168 55 -389 0
-256 -412 513 0
272 -310 -537 0
193 -107 -28 0
-177 -523 -289 0
-493 233 -62 0
263 -93 -274 0
-32 -274 244 0
277 -55 -200 0
-243 -482 -156 0
-438 -505 -477 0
148 479 -82 0
-4 -164 -5 0
169 -230 -360 0
362 561 136 0
368 -261 598 0
589 -206 554 0
-298 -470 -457 0
12 284 443 0
385 44 315 0
125 -512 89 0
329 -260 177 0
323 581 -155 0
289 -219 -108 0
-303 -506 -202 0
-493 555 -480 0
307 117 -221 0
560 504 588 0
-530 -587 339 0
-131 134 127 0
-453 -14 -216 0
22 78 -425 0
-87 355 -531 0
-478 245 -131 0
-116 87 437 0
-564 -55 278 0
579 141 -409 0
496 -153 -372 0
464 -404 -335 0
331 113 292 0
-76 -127 -55 0
336 539 225 0
-146 41 -189 0
-209 43 537 0
-110 -34 131 0
-460 -522 36 0
26 -275 294 0
-594 -162 12 0
367 -76 2 0
261 582 -99 0
-95 -587 -566 0
429 144 -50 0
544 -173 -555 0
-421 87 -150 0
-193 265 456 0
133 -356 545 0
187 258 251 0
-303 -8 -328 0
26 -558 224 0
-594 160 302 0
159 -470 -405 0
574 -457 -119 0
-293 193 313 0
-22 -236 -265 0
-484 197 -270 0
-475 199 598 0
-596 -124 -77 0
133 -372 166 0
-15 9 -391 0
-448 -487 -232 0
317 -579 -508 0
261 206 311 0
-407 122 -557 0
364 -515 141 0
350 370 252 0
358 -86 -196 0
-239 176 335 0
351 32 -183 0
-73 -331 139 0
85 -541 -8 0
-551 -590 261 0
-233 581 583 0
-105 402 -481 0
-549 213 394 0
600 -377 -163 0
-294 428 -571 0
-333 -518 -334 0
258 -530 -544 0
128 475 34 0
-577 296 366 0
164 172 209 0
-221 -139 330 0
-441 165 -163 0
480 -344 515 0
-592 -414 297 0
-564 -154 -485 0
450 -414 492 0
354 588 376 0
-524 -10 -459 0
121 -494 66 0
-514 -125 -193 0
-311 -408 -214 0
-290 -179 -113 0
-441 97 -145 0
513 72 539 0
-377 230 -114 0
310 44 -121 0
581 49 380 0
-97 -461 -51 0
152 503 353 0
152 -199 -188 0
102 142 424 0
-433 -599 -203 0
529 -293 -520 0
-321 310 103 0
-435 -464 -57 0
86 -7 -284 0
-128 -296 272 0
287 -398 -302 0
-197 -352 -82 0
-74 -189 -280 0
448 -125 574 0
240 321 -539 0
-93 275 -421 0
571 207 -314 0
185 397 -103 0
122 -1 494 0
-108 -271 449 0
-278 -467 249 0
-434 599 -547 0
-218 -116 -326 0
256 -335 -424 0
579 -523 219 0
-355 104 595 0
131 -119 -276 0
-294 -190 -173 0
-597 510 225 0
-449 -467 -574 0
-81 275 367 0
199 283 596 0
94 -490 515 0
-8 -128 245 0
-532 477 408 0
-66 -582 -425 0
347 169 84 0
-92 288 -325 0
490 -169 -487 0
347 486 477 0
-559 -70 -283 0
-318 78 275 0
93 214 538 0
162 -546 -591 0
-359 -475 362 0
-49 458 -576 0
-364 -42 75 0
443 -279 -139 0
433 -587 -371 0
137 -368 162 0
473 322 496 0
-596 -150 -579 0
189 178 -81 0
498 545 -1 0
-133 -161 -227 0
-260 -37 -505 0
573 19 253 0
108 -481 -202 0
-296 -79 351 0
-550 7 -281 0
356 305 -382 0
353 348 -170 0
-309 267 81 0
128 -284 496 0
361 363 69 0
-181 -297 260 0
-597 242 155 0
-72 232 241 0
-599 -598 155 0
-257 471 249 0
282 265 475 0
413 -152 282 0
92 -332 -526 0
38 -543 466 0
-130 -225 -25 0
-562 158 422 0
-153 353 -576 0
-186 453 42 0
155 472 -451 0
-84 3 -258 0
-584 -30 243 0
-113 -138 42 0
-464 -1 -495 0
-533 -404 -182 0
-188 519 240 0
-535 458 153 0
290 -448 -396 0
121 339 489 0
414 -202 24 0
437 -381 -221 0
-19 -9 -514 0
-444 386 48 0
115 232 66 0
-57 189 594 0
-237 206 276 0
-267 -279 -173 0
119 422 483 0
323 238 26 0
-358 335 281 0
-423 53 -600 0
-105 -429 -72 0
-126 130 -243 0
-204 496 -119 0
455 286 299 0
531 273 -551 0
-196 158 -76 0
572 -379 70 0
-316 587 586 0
-184 514 -396 0
482 569 599 0
367 -524 522 0
84 111 294 0
336 83 343 0
-274 336 -564 0
-399 348 -243 0
-576 -200 -435 0
-405 386 -226 0
-563 -542 458 0
-332 -284 70 0
141 92 315 0
-52 591 -501 0
-445 100 -352 0
-277 -34 -304 0
-423 -293 372 0
315 -61 308 0
-376 571 305 0
-600 -18 -10 0
419 392 536 0
-4 -246 -22 0
-326 -171 360 0
-581 541 -290 0
447 -460 303 0
362 520 188 0
-162 454 371 0
-490 253 -93 0
-361 63 -130 0
460 546 -223 0
296 152 -346 0
-141 594 -151 0
-450 -384 -116 0
502 -29 -24 0
31 63 403 0
345 534 420 0
-551 -445 -158 0
-362 -41 3 0
203 -548 -293 0
-301 -185 459 0
258 -276 -417 0
546 405 334 0
-157 140 361 0
72 -368 -573 0
331 48 189 0
385 -342 -297 0
-462 -176 440 0
-77 406 298 0
299 343 169 0
571 -183 -92 0
-162 -307 113 0
510 -577 -184 0
4 38 -471 0
578 413 -218 0
228 595 -549 0
345 -600 -57 0
396 -103 -481 0
377 -447 -471 0
170 -9 -402 0
103 427 -174 0
-111 -492 -540 0
372 -300 571 0
-53 277 116 0
-508 -456 -503 0
-293 -438 518 0
-155 125 -321 0
179 121 -222 0
-142 -258 404 0
-315 167 487 0
-417 263 -156 0
-324 580 -476 0
-241 -590 -106 0
-530 -33 -268 0
537 -36 -325 0
-154 -400 112 0
126 -85 -435 0
107 200 100 0
50 223 224 0
-423 399 3 0
122 57 -567 0
546 436 303 0
-140 13 77 0
-516 204 -82 0
-97 180 -221 0
574 374 316 0
-247 132 387 0
237 342 -114 0
-587 402 -189 0
-543 -89 225 0
-524 -426 103 0
-401 -194 240 0
564 217 146 0
372 244 17 0
555 546 114 0
-315 -134 389 0
332 446 -478 0
102 513 -271 0
-382 170 -182 0
507 -454 131 0
337 86 -461 0
-458 56 467 0
26 -323 -226 0
507 511 -17 0
8 217 77 0
343 251 156 0
-567 202 2 0
234 -401 361 0
135 202 56 0
-27 534 -367 0
238 -214 -281 0
508 -205 -61 0
428 -288 -156 0
-38 420 -567 0
-379 -101 -280 0
273 -280 -84 0
506 408 328 0
390 55 -538 0
-388 599 532 0
339 -549 419 0
62 -25 394 0
577 -226 -53 0
267 381 -275 0
-214 186 187 0
13 -501 -245 0
-521 122 544 0
522 -184 307 0
-155 137 568 0
564 325 -312 0
223 594 136 0
487 186 -116 0
96 -361 47 0
581 -409 211 0
-40 -394 576 0
576 546 138 0
-499 -358 251 0
101 -417 412 0
-59 -169 201 0
568 -389 -326 0
-297 -521 -591 0
-103 276 -61 0
-401 -333 -543 0
248 584 -152 0
11 229 -67 0
-238 350 -149 0
-287 -153 61 0
28 133 306 0
521 -80 -506 0
4 394 85 0
405 563 292 0
16 -573 -596 0
-269 186 -247 0
-596 62 88 0
265 -222 -323 0
473 -495 -184 0
-34 74 468 0
379 103 -477 0
-483 -418 -246 0
-467 -260 -23 0
-216 -390 -158 0
-154 -541 -40 0
550 -460 -586 0
-342 -155 429 0
216 -539 423 0
-551 -434 -16 0
152 -335 -23 0
529 -337 457 0
-544 571 -251 0
-110 404 176 0
177 464 -572 0
561 272 -146 0
125 -328 354 0
-351 -362 -204 0
247 -343 95 0
-176 114 425 0
-536 502 -292 0
-158 127 171 0
-347 -231 314 0
188 358 157 0
-327 575 479 0
-202 512 -369 0
153 -248 127 0
184 -233 -572 0
-225 124 107 0
-139 155 395 0
193 546 -202 0
70 501 -125 0
-57 216 -394 0
-210 87 434 0
54 319 -225 0
333 29 186 0
360 255 204 0
263 323 264 0
171 368 -571 0
476 -570 -183 0
-502 426 -358 0
37 -31 -231 0
-511 -4 -474 0
-17 310 -126 0
-275 -331 -376 0
481 -423 -560 0
-453 -489 -114 0
50 -465 537 0
-69 117 349 0
-303 321 11 0
-459 183 -488 0
-195 -559 501 0
475 570 371 0
433 345 280 0
-114 215 232 0
320 450 152 0
272 -496 -476 0
-594 367 -255 0
-210 163 -405 0
395 -135 273 0
32 138 484 0
115 -101 -199 0
583 75 139 0
-53 94 -371 0
-476 212 234 0
-388 -327 477 0
256 -302 499 0
-491 -412 55 0
86 -2 -397 0
-210 -164 -166 0
314 92 222 0
-112 96 -425 0
570 83 -261 0
-537 401 95 0
73 444 -277 0
-73 -2 -28 0
-172 78 36 0
144 -445 373 0
-40 -453 -77 0
129 -520 582 0
-44 507 488 0
565 -386 557 0
-344 124 -212 0
-137 -90 -554 0
470 -492 -136 0
438 -560 -315 0
-463 -360 387 0
515 -528 -445 0
534 -246 -531 0
-390 15 441 0
-315 467 -89 0
309 181 -208 0
-237 -259 -444 0
-245 8 525 0
41 369 -9 0
-588 -180 -270 0
397 -170 3 0
-486 -550 -247 0
-200 522 -349 0
-551 87 -92 0
-489 599 594 0
92 -127 -343 0
344 -427 485 0
246 194 -541 0
-457 264 -53 0
419 190 87 0
-469 -201 -236 0
60 510 359 0
177 23 277 0
591 -514 254 0
-397 209 -279 0
-6 -278 277 0
150 -183 38 0
-506 463 314 0
-326 329 -578 0
-136 -499 -280 0
180 105 -519 0
-172 -483 153 0
-274 -10 -339 0
-435 -423 132 0
424 -172 511 0
-555 -56 178 0
332 -22 189 0
-37 -242 317 0
-161 563 -103 0
-319 430 266 0
-575 -155 -305 0
-481 -118 29 0
-232 185 -447 0
-100 -429 279 0
-133 206 379 0
-235 47 485 0
-242 -216 -558 0
-289 -275 -44 0
525 2 -338 0
-477 179 57 0
-251 -563 -475 0
541 -283 -83 0
-444 259 -465 0
570 254 -360 0
466 -273 -600 0
478 -23 194 0
576 195 -439 0
-564 430 437 0
-318 -173 113 0
193 528 474 0
60 136 207 0
-251 -281 26 0
-273 22 -555 0
320 -569 92 0
-69 -278 -172 0
-501 12 442 0
-155 -51 -459 0
100 -360 -166 0
-491 -140 -281 0
219 439 33 0
-5 -530 298 0
305 -532 -11 0
165 -108 224 0
265 153 538 0
-206 -68 -293 0
-364 -529 -344 0
13 -495 -178 0
-148 -403 -547 0
-28 -49 -40 0
105 -537 280 0
-478 191 342 0
279 268 349 0
110 507 548 0
-174 -301 -409 0
525 232 544 0
-309 -577 55 0
-481 228 -598 0
201 -447 -419 0
-33 589 330 0
-542 -44 280 0
-273 -141 -325 0
264 -418 -560 0
224 217 229 0
472 348 5 0
340 380 -596 0
-513 -329 -106 0
522 -229 -392 0
387 65 375 0
-397 84 -532 0
-446 247 -80 0
452 450 126 0
209 231 -452 0
236 282 494 0
-181 514 -243 0
575 -474 432 0
-25 308 469 0
-24 437 580 0
363 527 147 0
354 68 -54 0
-375 176 -12 0
-535 -522 -574 0
-507 248 -4 0
402 413 192 0
290 562 484 0
418 -354 77 0
325 -334 100 0
72 380 19 0
-538 186 369 0
328 479 443 0
-208 368 463 0
111 -357 552 0
535 225 -207 0
254 -516 414 0
-341 114 -572 0
-33 118 558 0
414 -103 442 0
26 -160 341 0
-570 -535 284 0
81 393 343 0
-472 105 -33 0
390 223 -270 0
-579 510 -207 0
563 -218 561 0
-371 426 62 0
-391 -468 260 0
421 247 3 0
-217 -423 190 0
-574 -237 560 0
-34 -491 239 0
-29 -399 514 0
71 9 -393 0
278 -320 -315 0
494 -444 -30 0
350 394 -242 0
-200 -149 449 0
472 71 -413 0
-516 -561 -571 0
-257 351 402 0
-111 -158 -245 0
-500 -20 -482 0
229 505 562 0
322 518 -555 0
-86 10 228 0
466 362 -117 0
434 331 58 0
353 -424 337 0
338 -311 -517 0
524 451 -513 0
21 -16 -312 0
501 -202 -391 0
-593 310 4 0
-493 403 -517 0
-209 -459 190 0
-580 445 180 0
-392 -560 -428 0
-291 124 -43 0
-593 -307 -154 0
537 -372 -471 0
-35 -27 -588 0
-275 -435 462 0
315 -298 186 0
-185 228 92 0
-354 -85 -39 0
305 500 -292 0
-275 -308 -203 0
-333 -48 31 0
-197 381 330 0
-536 457 362 0
302 63 -25 0
-302 -219 473 0
-246 286 -344 0
-434 238 -287 0
450 -230 -498 0
-93 558 29 0
430 -199 -21 0
439 386 -420 0
-411 -14 -81 0
35 -33 -308 0
-64 -154 -564 0
144 480 -136 0
-393 -410 446 0
307 -132 -336 0
425 -524 301 0
-125 -328 -279 0
-183 -162 340 0
-320 -101 -407 0
36 554 395 0
6 37 -526 0
285 4 -17 0
-582 -269 21 0
244 423 -93 0
482 114 232 0
122 -463 444 0
403 -99 487 0
-459 426 498 0
319 -147 181 0
-139 -66 -396 0
458 54 -424 0
497 -333 481 0
-494 391 160 0
146 -274 341 0
534 218 -484 0
447 368 -320 0
-348 -51 -92 0
36 -545 108 0
-6 32 -93 0
-586 141 -6 0
51 171 289 0
-558 -237 -135 0
542 -173 -502 0
356 208 214 0
595 -341 -139 0
-581 455 -556 0
-193 267 -211 0
474 -349 -177 0
544 65 -258 0
-189 586 208 0
349 225 303 0
79 403 5 0
-432 -593 448 0
-242 341 428 0
449 427 72 0
-293 376 -101 0
99 433 -161 0
-195 -595 527 0
-364 -347 -241 0
-442 -303 -40 0
524 61 36 0
-455 -283 139 0
472 -518 -120 0
-147 -359 149 0
166 -314 -500 0
-582 -227 551 0
-312 13 -58 0
329 -533 78 0
-200 -52 -476 0
571 159 -546 0
-421 -20 573 0
97 -50 391 0
65 135 -144 0
277 111 359 0
210 -168 118 0
114 440 492 0
-149 -450 245 0
-2 -163 4 0
307 -566 71 0
133 -357 523 0
-337 -354 -561 0
-117 -115 -125 0
-336 67 -293 0
461 412 -211 0
208 326 -386 0
-475 -417 531 0
-92 -343 16 0
-466 341 111 0
-475 59 403 0
511 -148 -100 0
211 -470 -204 0
494 561 -590 0
330 121 287 0
167 593 -325 0
-272 546 -570 0
363 66 366 0
-214 -368 465 0
441 -558 229 0
93 -130 211 0
-153 480 -223 0
144 -78 -290 0
206 -228 219 0
531 -386 -20 0
171 -202 444 0
-391 -144 2 0
-283 -420 -497 0
453 137 73 0
75 -581 400 0
-171 -392 -553 0
-102 -549 -491 0
471 -382 -440 0
583 -136 414 0
16 -241 332 0
25 239 -312 0
-242 389 341 0
244 -485 400 0
-433 -420 -98 0
132 -74 -51 0
362 425 -484 0
266 -489 121 0
-515 -268 222 0
-375 -120 -465 0
-326 -130 -58 0
577 431 252 0
32 581 490 0
-402 193 -543 0
557 -102 598 0
319 -531 516 0
556 -505 -304 0
-135 472 31 0
321 -366 -254 0
10 578 -273 0
-567 407 416 0
-552 -396 -430 0
-575 12 -517 0
-371 -24 54 0
546 17 -545 0
561 -428 336 0
409 -335 55 0
81 169 206 0
-586 594 -48 0
68 399 334 0
-394 353 -67 0
170 -576 -469 0
-223 -536 -400 0
421 545 -163 0
-281 -425 -538 0
-66 -284 -596 0
-269 -501 -116 0
246 295 -467 0
-567 -359 459 0
-276 -34 -72 0
435 93 -450 0
-163 248 -405 0
-437 -411 -186 0
-298 374 -594 0
-270 451 -492 0
-131 357 -188 0
-492 -482 -490 0
-455 330 407 0
140 -438 -389 0
-191 -458 448 0
-86 143 93 0
-513 -62 200 0
543 -404 -96 0
-144 -466 538 0
-183 260 -361 0
455 -289 290 0
206 -48 591 0
-322 -353 -504 0
-8 -368 452 0
-359 375 282 0
417 578 288 0
-54 -450 201 0
-446 279 -456 0
-151 -84 -217 0
31 167 175 0
305 -54 -352 0
-195 -67 -3 0
-42 -122 -329 0
349 22 -184 0
-202 183 431 0
-401 -65 98 0
56 -165 421 0
-259 -191 -487 0
214 65 566 0
134 -402 -541 0
440 471 -578 0
-124 566 525 0
346 526 -454 0
-172 85 -259 0
452 -332 16 0
-331 319 305 0
354 287 473 0
-57 568 314 0
552 159 -14 0
1 -74 130 0
514 44 -318 0
550 -236 -562 0
446 -234 40 0
24 -389 -492 0
-278 -389 -84 0
-421 232 -364 0
-518 -556 -573 0
-265 -250 179 0
35 -20 13 0
-87 11 -344 0
470 110 -27 0
-105 506 -370 0
-488 413 -538 0
164 -156 -186 0
277 -280 89 0
-295 49 -249 0
-83 332 -556 0
-384 -110 246 0
-266 168 476 0
362 -115 -428 0
50 464 429 0
-526 -475 -249 0
426 301 478 0
-263 166 141 0
-204 -185 285 0
214 -110 196 0
420 -388 446 0
-136 -261 366 0
-7 94 -358 0
-48 529 341 0
-464 -136 385 0
29 -60 209 0
-127 -422 -232 0
91 -94 24 0
580 448 -295 0
434 291 306 0
96 335 4 0
39 12 -13 0
-85 -585 -131 0
-497 -38 15 0
-519 -22 -532 0
515 177 166 0
-94 210 -220 0
98 -87 364 0
464 -150 267 0
-373 -492 -269 0
-81 -341 424 0
477 177 554 0
484 -100 190 0
-340 -136 575 0
287 382 -31 0
304 -326 -375 0
-16 -29 -85 0
508 -487 316 0
-335 -34 -502 0
190 -172 -374 0
491 502 493 0
163 122 45 0
212 460 -545 0
-406 579 225 0
-460 -155 -18 0
165 217 560 0
-116 410 390 0
572 -157 567 0
521 -1 -300 0
-404 -503 -410 0
580 -134 302 0
363 59 -522 0
-307 461 -101 0
11 413 -21 0
-193 -349 386 0
-505 366 217 0
482 74 -442 0
-467 -510 259 0
266 544 -391 0
-182 30 -215 0
-379 584 -490 0
-178 -285 -3 0
330 124 471 0
-228 510 -309 0
100 154 -91 0
561 517 382 0
-261 84 -279 0
16 78 -264 0
-140 -419 -175 0
-538 -429 598 0
-254 -230 -302 0
-139 -358 288 0
-245 25 287 0
-207 -160 64 0
-465 75 502 0
315 -184 -363 0
125 -482 -257 0
-366 277 -311 0
-47 508 333 0
171 299 -109 0
443 -486 -199 0
-295 -381 467 0
64 270 374 0
-298 -544 -586 0
-22 452 -231 0
-557 201 27 0
-386 38 -112 0
-433 511 -507 0
418 -567 -398 0
200 3 180 0
567 -446 97 0
-377 -586 354 0
165 -239 291 0
376 -315 -360 0
-129 -133 362 0
519 327 149 0
108 -265 -397 0
164 -593 -367 0
-550 -101 354 0
599 -280 404 0
-147 -382 -80 0
-110 -183 356 0
-182 423 292 0
-323 286 -59 0
279 395 262 0
145 -443 383 0
-523 -372 516 0
289 85 532 0
-588 356 285 0
-246 -472 108 0
-277 95 -210 0
-462 411 203 0
-326 407 -501 0
512 -409 -205 0
295 -508 40 0
381 -394 -541 0
348 -306 283 0
-442 -22 234 0
-587 202 -38 0
222 -167 15 0
-223 -149 -504 0
-98 -125 -184 0
322 47 -541 0
-387 -257 -405 0
484 -299 -144 0
-132 -17 -324 0
-179 305 -209 0
168 -138 -402 0
367 92 -192 0
336 -417 -312 0
-115 -457 -90 0
-338 -321 -203 0
-384 157 373 0
-172 139 -277 0
-564 -489 65 0
-408 -494 -214 0
458 -326 -138 0
272 -235 -285 0
457 473 -53 0
-595 565 -506 0
16 128 -391 0
-533 90 -429 0
-408 -304 253 0
-112 2 -102 0
-234 -526 -338 0
346 -99 -26 0
-367 245 -431 0
103 478 108 0
-452 -245 533 0
-422 -76 -333 0
-207 7 462 0
-441 359 117 0
217 168 313 0
258 265 560 0
125 124 -271 0
503 -158 261 0
-569 -307 365 0
-102 111 -529 0
-293 453 -481 0
230 -366 222 0
-525 144 -371 0
-30 -541 365 0
-105 -455 241 0
-530 -354 -414 0
-515 -324 329 0
-222 -171 -293 0
342 331 22 0
-301 372 60 0
232 -556 305 0
70 37 -373 0
575 -43 -240 0
298 -331 162 0
251 205 -294 0
-565 276 588 0
554 147 -318 0
589 271 -180 0
255 -439 164 0
58 304 252 0
-168 -587 -348 0
-220 41 481 0
240 -20 -459 0
-313 195 255 0
59 -554 418 0
-29 63 351 0
1 -305 -276 0
199 -237 -498 0
584 -115 -119 0
311 -22 -329 0
508 -456 -385 0
308 178 424 0
366 319 -293 0
-38 -498 -1 0
-239 -358 235 0
52 198 472 0
-287 -332 173 0
-328 -233 263 0
-155 42 87 0
-24 -430 -10 0
177 291 -203 0
437 235 77 0
439 61 246 0
226 496 190 0
-248 23 306 0
367 265 -184 0
526 -459 298 0
42 -275 -46 0
382 -9 111 0
-480 -175 -517 0
262 -319 -508 0
-421 -37 304 0
251 -563 -410 0
384 115 -437 0
-56 444 -512 0
-66 -12 377 0
-354 125 32 0
482 -143 189 0
463 572 137 0
-298 508 -504 0
136 -236 -426 0
-10 -226 487 0
-369 -318 370 0
149 -214 -542 0
-302 -1 -282 0
-195 474 -393 0
-533 259 -285 0
-520 336 534 0
-550 354 -551 0
-103 -297 59 0
-451 414 233 0
465 413 -469 0
-525 116 446 0
3 -550 -317 0
320 539 -594 0
-526 120 470 0
239 456 92 0
-437 -52 -418 0
16 338 -255 0
502 44 482 0
-371 434 272 0
-56 -461 -437 0
-304 220 -96 0
219 -163 -64 0
347 170 -297 0
100 -74 -244 0
175 576 -142 0
-513 559 98 0
-382 335 -313 0
299 574 -431 0
-9 -380 -358 0
-399 25 -498 0
-165 -426 -440 0
578 221 -312 0
57 -511 -147 0
349 -75 -193 0
-395 -348 30 0
376 337 -168 0
-72 -427 255 0
-558 -384 71 0
182 -522 367 0
-136 157 -519 0
-517 583 10 0
82 -184 -499 0
-519 -115 3 0
478 140 317 0
-283 311 -547 0
-8 60 -237 0
-571 459 -371 0
-8 118 404 0
-385 -141 553 0
571 188 -477 0
187 -27 578 0
255 161 82 0
276 349 -85 0
-396 -503 -167 0
216 339 -494 0
396 -76 399 0
-391 -463 38 0
600 -44 386 0
-156 552 -295 0
-542 50 265 0
40 86 36 0
536 -264 -523 0
-23 591 -322 0
277 -552 -370 0
-248 -164 205 0
327 -318 413 0
-479 94 -201 0
-242 -480 -30 0
-363 447 313 0
-100 230 551 0
461 -239 -559 0
-403 419 -298 0
300 -484 63 0
-303 370 446 0
-456 216 220 0
109 52 -112 0
-52 -4 -485 0
-203 -403 -402 0
-598 -410 477 0
514 -374 -600 0
-57 447 459 0
490 -315 -335 0
-161 151 -323 0
297 -543 548 0
-238 248 -336 0
-17 466 -76 0
-21 -360 234 0
-235 338 -480 0
-426 -182 -436 0
281 -181 -312 0
-242 -19 595 0
372 459 518 0
257 -451 -549 0
-187 -495 -595 0
37 -122 -375 0
42 369 263 0
-433 155 -74 0
368 -106 -162 0
541 -69 -61 0
-587 -301 586 0
-17 -313 583 0
-144 -228 -388 0
206 589 -537 0
-387 422 600 0
283 -534 8 0
430 345 -13 0
-292 434 16 0
-199 -500 418 0
-562 -573 96 0
-15 -553 545 0
203 -53 -518 0
98 274 581 0
134 471 -88 0
-396 135 526 0
96 -155 -11 0
-298 390 -370 0
336 -558 179 0
-406 158 -190 0
-37 -433 -359 0
-280 -402 -575 0
547 72 -540 0
-314 450 78 0
428 -531 130 0
-344 -388 -46 0
-505 -346 -18 0
-49 442 -457 0
-512 -370 38 0
-539 -211 -201 0
-433 579 175 0
331 -175 -541 0
517 9 311 0
-215 48 412 0
278 545 -364 0
74 322 -227 0
73 419 59 0
593 579 110 0
-276 126 341 0
-217 -569 67 0
-569 120 158 0
-136 168 -415 0
440 -215 239 0
333 -233 35 0
56 222 36 0
-496 455 164 0
-424 332 595 0
327 -263 378 0
78 97 569 0
406 -380 524 0
-552 424 590 0
18 363 -236 0
555 -25 -528 0
582 250 274 0
-539 -553 -27 0
39 -313 -208 0
-506 485 -537 0
-515 275 488 0
-490 491 197 0
203 -423 -347 0
-448 -162 372 0
463 -282 308 0
314 462 14 0
37 -346 470 0
62 239 -512 0
262 -340 105 0
-194 -365 -436 0
-71 375 -297 0
-6 -142 -331 0
564 448 -308 0
248 426 -471 0
317 -266 149 0
521 -545 379 0
434 -342 177 0
435 101 291 0
-448 -538 -488 0
292 498 -275 0
595 580 74 0
87 302 -305 0
-99 145 196 0
559 -242 115 0
-95 185 -208 0
-269 -595 524 0
442 217 185 0
473 383 -326 0
-526 488 485 0
-246 -87 -451 0
576 -127 143 0
15 420 -228 0
-175 -205 -295 0
-148 131 552 0
-416 -361 -316 0
37 245 376 0
-143 -494 -377 0
-159 284 -147 0
294 -299 243 0
-224 31 581 0
570 429 9 0
-33 -579 -470 0
567 294 172 0
110 -494 -244 0
516 -68 153 0
110 -260 570 0
424 -503 -163 0
277 -217 191 0
552 -254 39 0
-113 -293 409 0
-506 217 -580 0
-275 -21 -286 0
-96 261 -220 0
-254 201 99 0
-42 -221 463 0